منابع مشابه
Narciso Martí - Oliet
Rewrite theories and their associated Kripke structures constitute a flexible and executable framework in which a wide range of systems can be studied. We present a general notion of simulation between Kripke structures, study its categorical aspects, and propose rewriting logic as a framework in which these simulations can be represented. Several representability results showing that rewriting...
متن کاملEnlightening Ph.D. Students with the Elegance of Logic - My Personal Memory About Prof. José Meseguer
This article provides my recollection about how Prof. José Meseguer enlightened me to study security problems from the logic perspective. His lectures and advices are having a long term influence on my research career.
متن کاملRevolutionary Science
On rare occasions in the history of science, remarkable discoveries transform human society and forever alter mankind's view of the world. Examples of such discoveries include the heliocentric theory, Newtonian physics, the germ theory of disease, quantum theory, plate tectonics and the discovery that DNA carries genetic information. The science philosopher Thomas Kuhn famously described scienc...
متن کاملRevolutionary Algorithms
The optimization of dynamic problems is both widespread and difficult. When conducting dynamic optimization, a balance between reinitialization and computational expense has to be found. There are multiple approaches to this. In parallel genetic algorithms, multiple sub-populations concurrently try to optimize a potentially dynamic problem. But as the number of sub-population increases, their e...
متن کاملJosé Maria Soares Barata: obituary
Born in Belém, State of Pará, Brazil, he already demonstrated a special affection to insects during his childhood. At the end of his secondary studies, he worked as a technician for the National Department of Rural Endemic Diseases, the institution responsible for combating vectors in Brazil and the precursor of the Superintendence of Public Health Campaigns (SUCAM, a Brazilian public instituti...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Hispanic American Historical Review
سال: 1988
ISSN: 0018-2168,1527-1900
DOI: 10.1215/00182168-68.4.858